Llistar TÃtols
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |

Constraint programming (Computer science) -- Congresses Programació per restriccions (Informà tica) -- Congressos

Szeider, Stefan Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica Kirchweger, Markus